[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 261 162 0 394 0 235 -1

N.S.

1 1.00 1.73 1.07 0.00 2.61 0.00 1.56 -0.01

time (sec)

N/A 0.287 0.834 2.157 0.000 0.358 0.000 11.803 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 360 222 0 526 0 306 -1

N.S.

1 1.00 1.59 0.98 0.00 2.32 0.00 1.35 -0.00

time (sec)

N/A 0.417 1.162 2.590 0.000 0.375 0.000 5.160 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 241 118 231 0 250 0 229 -1

N.S.

1 1.61 0.79 1.54 0.00 1.67 0.00 1.53 -0.01

time (sec)

N/A 0.615 0.466 2.341 0.000 0.367 0.000 42.653 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 118 130 0 219 0 164 -1

N.S.

1 1.00 1.10 1.21 0.00 2.05 0.00 1.53 -0.01

time (sec)

N/A 0.123 0.177 1.697 0.000 0.360 0.000 20.306 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 138 103 0 288 0 138 -1

N.S.

1 1.00 2.23 1.66 0.00 4.65 0.00 2.23 -0.02

time (sec)

N/A 0.070 0.225 2.480 0.000 0.381 0.000 10.741 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 292 144 0 404 0 0 -1

N.S.

1 1.00 2.16 1.07 0.00 2.99 0.00 0.00 -0.01

time (sec)

N/A 0.400 0.415 2.274 0.000 0.381 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 195 334 289 0 294 0 231 -1

N.S.

1 1.10 1.89 1.63 0.00 1.66 0.00 1.31 -0.01

time (sec)

N/A 0.799 0.254 2.432 0.000 0.412 0.000 46.831 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 128 202 0 259 0 127 -1

N.S.

1 1.00 0.96 1.51 0.00 1.93 0.00 0.95 -0.01

time (sec)

N/A 0.145 0.294 2.053 0.000 0.364 0.000 12.389 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 206 135 0 460 0 215 -1

N.S.

1 1.00 1.82 1.19 0.00 4.07 0.00 1.90 -0.01

time (sec)

N/A 0.149 1.506 2.471 0.000 0.386 0.000 5.309 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-1) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 294 144 0 418 0 176 -1

N.S.

1 1.00 2.04 1.00 0.00 2.90 0.00 1.22 -0.01

time (sec)

N/A 0.363 0.524 2.239 0.000 0.375 0.000 9.801 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 260 394 353 0 334 0 186 -1

N.S.

1 1.26 1.90 1.71 0.00 1.61 0.00 0.90 -0.00

time (sec)

N/A 0.974 0.371 2.740 0.000 0.390 0.000 39.976 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 284 266 0 304 0 147 -1

N.S.

1 1.00 1.70 1.59 0.00 1.82 0.00 0.88 -0.01

time (sec)

N/A 0.193 0.267 2.648 0.000 0.372 0.000 23.147 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 451 219 0 589 0 275 -1

N.S.

1 1.00 3.20 1.55 0.00 4.18 0.00 1.95 -0.01

time (sec)

N/A 0.225 0.501 2.231 0.000 0.392 0.000 9.943 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) B F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

191 191 332 182 0 616 0 252 -1

N.S.

1 1.00 1.74 0.95 0.00 3.23 0.00 1.32 -0.01

time (sec)

N/A 0.636 1.582 2.587 0.000 0.415 0.000 50.435 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

982 982 318 0 0 0 0 0 -1

N.S.

1 1.00 0.32 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.894 9.628 0.198 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 290 0 0 0 0 0 -1

N.S.

1 1.00 2.36 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.145 9.366 0.141 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

80 80 2692 0 0 0 0 0 -1

N.S.

1 1.00 33.65 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 19.002 0.105 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

80 80 2796 0 0 0 0 0 -1

N.S.

1 1.00 34.95 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 17.903 0.148 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A NO Yes TBD TBD TBD TBD TBD TBD

size

551 551 128 0 0 0 0 0 -1

N.S.

1 1.00 0.23 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.380 0.530 0.170 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 100 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.154 0.337 0.142 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 7.343 0.121 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 5.069 0.162 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 4715 0 0 0 0 0 -1

N.S.

1 1.00 17.53 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.251 22.876 1.218 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

187 187 1452 0 0 0 0 0 -1

N.S.

1 1.00 7.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.166 13.241 0.972 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

129 129 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 1.105 0.250 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

108 108 232 0 0 0 0 0 -1

N.S.

1 1.00 2.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 1.744 0.296 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 710 0 0 0 0 0 -1

N.S.

1 1.00 5.14 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.194 3.037 1.347 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

248 248 1200 0 0 0 0 0 -1

N.S.

1 1.00 4.84 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.292 5.442 0.668 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

111 111 367 0 0 0 0 0 -1

N.S.

1 1.00 3.31 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 1.419 0.181 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 105 0 0 0 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 0.167 0.163 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 63 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.050 0.121 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 43 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.044 0.112 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 68 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.133 0.150 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 83 0 0 0 0 0 -1

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.183 0.145 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

311 311 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.252 0.765 0.149 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

157 157 4043 0 0 0 0 0 -1

N.S.

1 1.00 25.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 6.257 0.129 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 90 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.115 0.053 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

89 89 5048 0 0 0 0 0 -1

N.S.

1 1.00 56.72 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 16.881 0.120 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

89 89 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.510 0.106 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 77 81 73 90 0 26228 176

N.S.

1 1.00 0.88 0.92 0.83 1.02 0.00 298.05 2.00

time (sec)

N/A 0.053 0.087 0.171 0.280 0.380 0.000 230.657 6.735

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 38 41 43 45 0 1456 74

N.S.

1 1.00 0.69 0.75 0.78 0.82 0.00 26.47 1.35

time (sec)

N/A 0.028 0.015 0.119 0.290 0.362 0.000 7.517 6.636

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 43 23 22 24 0 23 47

N.S.

1 1.00 1.79 0.96 0.92 1.00 0.00 0.96 1.96

time (sec)

N/A 0.015 0.026 0.100 0.364 0.362 0.000 9.453 6.564

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 60 67 45 69 0 60 146

N.S.

1 1.00 1.11 1.24 0.83 1.28 0.00 1.11 2.70

time (sec)

N/A 0.028 0.138 0.215 0.289 0.366 0.000 23.209 6.631

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 87 101 69 110 0 82 207

N.S.

1 1.00 1.07 1.25 0.85 1.36 0.00 1.01 2.56

time (sec)

N/A 0.036 0.172 0.224 0.435 0.383 0.000 15.242 6.670

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 81 98 65 73 0 0 110

N.S.

1 1.00 1.12 1.36 0.90 1.01 0.00 0.00 1.53

time (sec)

N/A 0.055 0.031 0.158 0.576 0.344 0.000 0.000 10.183

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 47 59 39 47 0 1008 55

N.S.

1 1.00 1.24 1.55 1.03 1.24 0.00 26.53 1.45

time (sec)

N/A 0.042 0.028 0.157 0.542 0.350 0.000 10.582 6.595

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 75 49 54 84 0 108 158

N.S.

1 1.00 1.83 1.20 1.32 2.05 0.00 2.63 3.85

time (sec)

N/A 0.038 0.030 0.099 0.645 0.386 0.000 9.075 6.597

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 125 86 92 160 0 141 225

N.S.

1 1.00 1.52 1.05 1.12 1.95 0.00 1.72 2.74

time (sec)

N/A 0.057 0.033 0.171 0.682 0.379 0.000 9.990 6.294

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 164 129 125 222 0 199 288

N.S.

1 1.00 1.34 1.06 1.02 1.82 0.00 1.63 2.36

time (sec)

N/A 0.071 0.041 0.157 0.668 0.395 0.000 4.370 6.299

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 108 135 105 140 0 0 232

N.S.

1 1.00 0.97 1.22 0.95 1.26 0.00 0.00 2.09

time (sec)

N/A 0.124 0.288 0.193 0.314 0.380 0.000 0.000 6.722

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 64 69 70 74 0 7855 150

N.S.

1 1.00 0.82 0.88 0.90 0.95 0.00 100.71 1.92

time (sec)

N/A 0.053 0.091 0.191 0.281 0.374 0.000 36.444 6.366

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 40 40 42 0 41 117

N.S.

1 1.00 1.00 0.87 0.87 0.91 0.00 0.89 2.54

time (sec)

N/A 0.027 0.019 0.089 0.322 0.365 0.000 13.323 6.436

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 70 93 69 115 0 99 221

N.S.

1 1.00 0.83 1.11 0.82 1.37 0.00 1.18 2.63

time (sec)

N/A 0.050 0.158 0.237 0.555 0.390 0.000 9.048 6.385

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 107 157 105 177 0 138 310

N.S.

1 1.00 0.85 1.25 0.83 1.40 0.00 1.10 2.46

time (sec)

N/A 0.072 0.476 0.241 0.282 0.387 0.000 8.734 6.444

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 176 185 119 118 0 0 235

N.S.

1 1.00 1.18 1.24 0.80 0.79 0.00 0.00 1.58

time (sec)

N/A 0.114 0.472 0.220 0.571 0.353 0.000 0.000 10.036

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 77 116 83 81 0 7670 147

N.S.

1 1.00 0.82 1.23 0.88 0.86 0.00 81.60 1.56

time (sec)

N/A 0.087 0.325 0.228 0.715 0.398 0.000 29.434 9.287

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 116 79 79 118 0 148 277

N.S.

1 1.00 1.49 1.01 1.01 1.51 0.00 1.90 3.55

time (sec)

N/A 0.063 0.281 0.153 0.496 0.384 0.000 14.775 7.273

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 293 145 138 218 0 241 584

N.S.

1 1.00 2.20 1.09 1.04 1.64 0.00 1.81 4.39

time (sec)

N/A 0.104 6.176 0.237 0.559 0.376 0.000 18.620 8.997

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 351 216 183 306 0 337 888

N.S.

1 1.00 1.74 1.07 0.91 1.51 0.00 1.67 4.40

time (sec)

N/A 0.126 0.746 0.248 0.504 0.395 0.000 11.451 11.280

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 141 206 162 194 0 0 366

N.S.

1 1.00 0.94 1.37 1.08 1.29 0.00 0.00 2.44

time (sec)

N/A 0.163 0.175 0.194 0.293 0.375 0.000 0.000 6.981

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 90 110 113 116 0 55225 226

N.S.

1 1.00 0.86 1.05 1.08 1.10 0.00 525.95 2.15

time (sec)

N/A 0.078 0.129 0.192 0.280 0.377 0.000 31.933 6.746

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 67 56 57 66 0 58 118

N.S.

1 1.00 1.00 0.84 0.85 0.99 0.00 0.87 1.76

time (sec)

N/A 0.032 0.019 0.125 0.286 0.394 0.000 6.381 6.678

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 97 118 98 153 0 131 312

N.S.

1 1.00 0.84 1.02 0.84 1.32 0.00 1.13 2.69

time (sec)

N/A 0.068 0.201 0.261 0.337 0.390 0.000 4.234 6.946

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 144 212 142 225 0 185 424

N.S.

1 1.00 0.87 1.28 0.86 1.36 0.00 1.12 2.57

time (sec)

N/A 0.104 0.696 0.246 0.447 0.370 0.000 3.299 6.969

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 226 268 167 157 0 0 297

N.S.

1 1.00 1.03 1.22 0.76 0.71 0.00 0.00 1.35

time (sec)

N/A 0.166 0.462 0.243 0.640 0.344 0.000 0.000 9.197

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 113 169 119 116 0 0 249

N.S.

1 1.00 0.77 1.16 0.82 0.79 0.00 0.00 1.71

time (sec)

N/A 0.130 0.522 0.269 0.591 0.382 0.000 0.000 9.152

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 143 96 95 143 0 199 289

N.S.

1 1.00 1.40 0.94 0.93 1.40 0.00 1.95 2.83

time (sec)

N/A 0.081 0.873 0.154 0.617 0.399 0.000 12.658 6.857

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 355 186 187 293 0 421 405

N.S.

1 1.00 1.83 0.96 0.96 1.51 0.00 2.17 2.09

time (sec)

N/A 0.139 6.184 0.267 0.515 0.375 0.000 6.464 6.809

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 346 289 252 412 0 471 507

N.S.

1 1.00 1.19 0.99 0.87 1.42 0.00 1.62 1.74

time (sec)

N/A 0.172 1.727 0.291 0.657 0.399 0.000 9.466 7.058

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 184 189 288 261 0 343 498

N.S.

1 1.00 0.90 0.93 1.41 1.28 0.00 1.68 2.44

time (sec)

N/A 0.283 0.929 0.430 0.307 0.486 0.000 15.798 7.426

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 117 121 142 157 0 177 217

N.S.

1 1.00 0.93 0.96 1.13 1.25 0.00 1.40 1.72

time (sec)

N/A 0.143 0.337 0.317 0.291 0.392 0.000 6.650 7.035

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 87 71 65 63 0 71 91

N.S.

1 1.00 1.18 0.96 0.88 0.85 0.00 0.96 1.23

time (sec)

N/A 0.051 0.061 0.236 0.282 0.353 0.000 7.248 6.732

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 33 33 31 0 35 48

N.S.

1 1.00 1.00 0.97 0.97 0.91 0.00 1.03 1.41

time (sec)

N/A 0.030 0.015 0.120 0.286 0.356 0.000 6.181 6.362

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 65 76 77 118 0 114 144

N.S.

1 1.00 0.77 0.90 0.92 1.40 0.00 1.36 1.71

time (sec)

N/A 0.062 0.111 0.286 0.368 0.363 0.000 8.086 6.632

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 115 137 139 271 0 201 281

N.S.

1 1.00 0.78 0.93 0.94 1.83 0.00 1.36 1.90

time (sec)

N/A 0.101 0.702 0.373 0.389 0.372 0.000 8.129 6.409

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 195 214 0 476 0 241 372

N.S.

1 1.00 1.10 1.21 0.00 2.69 0.00 1.36 2.10

time (sec)

N/A 0.177 0.951 0.367 0.000 0.397 0.000 4.785 9.547

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 152 112 0 305 0 107 148

N.S.

1 1.00 1.58 1.17 0.00 3.18 0.00 1.11 1.54

time (sec)

N/A 0.075 0.137 0.273 0.000 0.366 0.000 8.308 6.369

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 108 109 0 314 0 129 204

N.S.

1 1.00 1.35 1.36 0.00 3.92 0.00 1.61 2.55

time (sec)

N/A 0.173 0.171 0.306 0.000 0.412 0.000 8.954 7.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 350 223 0 633 0 273 654

N.S.

1 1.00 2.27 1.45 0.00 4.11 0.00 1.77 4.25

time (sec)

N/A 0.294 6.129 0.405 0.000 0.480 0.000 4.708 7.144

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 504 390 0 1079 0 490 1099

N.S.

1 1.00 1.64 1.27 0.00 3.51 0.00 1.60 3.58

time (sec)

N/A 0.722 0.947 0.500 0.000 0.672 0.000 4.398 7.130

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 204 205 505 555 0 494 755

N.S.

1 1.00 0.84 0.85 2.09 2.29 0.00 2.04 3.12

time (sec)

N/A 0.534 4.251 0.588 0.400 0.550 0.000 7.516 7.782

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 145 143 274 388 0 248 351

N.S.

1 1.00 0.90 0.89 1.70 2.41 0.00 1.54 2.18

time (sec)

N/A 0.238 0.529 0.460 0.325 0.454 0.000 6.885 7.245

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 162 98 124 195 0 156 158

N.S.

1 1.00 1.49 0.90 1.14 1.79 0.00 1.43 1.45

time (sec)

N/A 0.067 0.206 0.362 0.296 0.398 0.000 5.150 6.758

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 42 49 47 69 0 51 105

N.S.

1 1.00 0.79 0.92 0.89 1.30 0.00 0.96 1.98

time (sec)

N/A 0.039 0.057 0.184 0.291 0.367 0.000 4.410 6.376

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 96 105 116 259 0 165 235

N.S.

1 1.00 0.84 0.92 1.02 2.27 0.00 1.45 2.06

time (sec)

N/A 0.078 0.422 0.359 0.273 0.394 0.000 5.940 6.379

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 187 172 189 542 0 278 439

N.S.

1 1.00 0.99 0.91 1.01 2.88 0.00 1.48 2.34

time (sec)

N/A 0.127 6.117 0.428 0.290 0.394 0.000 6.489 6.900

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 341 248 0 815 0 406 722

N.S.

1 1.00 1.02 0.74 0.00 2.45 0.00 1.22 2.17

time (sec)

N/A 0.469 1.244 0.519 0.000 0.447 0.000 6.595 9.895

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 169 162 0 569 0 251 313

N.S.

1 1.00 0.84 0.81 0.00 2.84 0.00 1.26 1.56

time (sec)

N/A 0.221 0.724 0.378 0.000 0.398 0.000 4.168 8.675

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 139 156 0 768 0 218 1616

N.S.

1 1.00 1.21 1.36 0.00 6.68 0.00 1.90 14.05

time (sec)

N/A 0.294 0.521 0.420 0.000 0.450 0.000 21.818 8.317

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 403 287 0 1149 0 356 973

N.S.

1 1.00 1.69 1.21 0.00 4.83 0.00 1.50 4.09

time (sec)

N/A 0.467 6.174 0.488 0.000 0.462 0.000 17.408 6.830

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

424 424 361 465 0 2011 0 596 1424

N.S.

1 1.00 0.85 1.10 0.00 4.74 0.00 1.41 3.36

time (sec)

N/A 1.003 1.041 0.628 0.000 0.678 0.000 9.684 6.905

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 304 263 730 981 0 585 1229

N.S.

1 1.00 0.95 0.82 2.27 3.06 0.00 1.82 3.83

time (sec)

N/A 0.798 6.239 0.977 0.632 0.751 0.000 14.521 10.735

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 196 197 441 788 0 464 690

N.S.

1 1.00 0.84 0.85 1.90 3.40 0.00 2.00 2.97

time (sec)

N/A 0.398 1.470 0.625 0.314 0.533 0.000 12.511 7.464

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 213 134 228 462 0 257 304

N.S.

1 1.00 1.43 0.90 1.53 3.10 0.00 1.72 2.04

time (sec)

N/A 0.101 1.459 0.516 0.501 0.420 0.000 13.360 6.854

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 60 66 81 154 0 69 369

N.S.

1 1.00 0.80 0.88 1.08 2.05 0.00 0.92 4.92

time (sec)

N/A 0.044 0.185 0.276 0.547 0.369 0.000 13.900 6.537

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 121 131 156 404 0 154 334

N.S.

1 1.00 0.83 0.90 1.08 2.79 0.00 1.06 2.30

time (sec)

N/A 0.097 0.626 0.449 0.504 0.401 0.000 7.393 6.790

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 195 207 236 754 0 327 563

N.S.

1 1.00 0.88 0.94 1.07 3.41 0.00 1.48 2.55

time (sec)

N/A 0.159 4.893 0.570 0.481 0.417 0.000 8.095 7.262

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

474 474 351 354 0 1249 0 632 1099

N.S.

1 1.00 0.74 0.75 0.00 2.64 0.00 1.33 2.32

time (sec)

N/A 0.664 0.670 0.793 0.000 0.430 0.000 12.292 11.220

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

350 350 212 258 0 934 0 384 627

N.S.

1 1.00 0.61 0.74 0.00 2.67 0.00 1.10 1.79

time (sec)

N/A 0.404 2.093 0.537 0.000 0.439 0.000 6.093 10.358

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 195 299 0 1394 0 339 1762

N.S.

1 1.00 0.97 1.48 0.00 6.90 0.00 1.68 8.72

time (sec)

N/A 0.526 3.385 0.584 0.000 0.677 0.000 13.761 7.853

[next] [prev] [prev-tail] [front] [up]